sigma compactness

紧性